﻿namespace Tautologie
{
    partial class Form1
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Form1));
            this.TruthTable = new System.Windows.Forms.TextBox();
            this.label1 = new System.Windows.Forms.Label();
            this.Input = new System.Windows.Forms.TextBox();
            this.label3 = new System.Windows.Forms.Label();
            this.enterExpression = new System.Windows.Forms.Button();
            this.Labels = new System.Windows.Forms.TextBox();
            this.ExpGrpBox = new System.Windows.Forms.GroupBox();
            this.ExpressionBox = new System.Windows.Forms.RichTextBox();
            this.Sentences = new System.Windows.Forms.NumericUpDown();
            this.label2 = new System.Windows.Forms.Label();
            this.menuStrip1 = new System.Windows.Forms.MenuStrip();
            this.programToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.AboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.HelpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.ExitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.label4 = new System.Windows.Forms.Label();
            this.ExpGrpBox.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.Sentences)).BeginInit();
            this.menuStrip1.SuspendLayout();
            this.SuspendLayout();
            // 
            // TruthTable
            // 
            this.TruthTable.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.TruthTable.Location = new System.Drawing.Point(24, 142);
            this.TruthTable.Multiline = true;
            this.TruthTable.Name = "TruthTable";
            this.TruthTable.ReadOnly = true;
            this.TruthTable.Size = new System.Drawing.Size(317, 118);
            this.TruthTable.TabIndex = 3;
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.Font = new System.Drawing.Font("Microsoft Sans Serif", 10F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(238)));
            this.label1.Location = new System.Drawing.Point(119, 86);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(114, 17);
            this.label1.TabIndex = 4;
            this.label1.Text = "Matryca logiczna";
            // 
            // Input
            // 
            this.Input.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.Input.Location = new System.Drawing.Point(100, 50);
            this.Input.Name = "Input";
            this.Input.Size = new System.Drawing.Size(157, 20);
            this.Input.TabIndex = 6;
            // 
            // label3
            // 
            this.label3.AutoSize = true;
            this.label3.Location = new System.Drawing.Point(97, 34);
            this.label3.Name = "label3";
            this.label3.Size = new System.Drawing.Size(108, 13);
            this.label3.TabIndex = 7;
            this.label3.Text = "Wprowadź wyrażenie";
            // 
            // enterExpression
            // 
            this.enterExpression.FlatStyle = System.Windows.Forms.FlatStyle.Popup;
            this.enterExpression.Location = new System.Drawing.Point(272, 48);
            this.enterExpression.Name = "enterExpression";
            this.enterExpression.Size = new System.Drawing.Size(71, 22);
            this.enterExpression.TabIndex = 13;
            this.enterExpression.Text = "Wprowadź";
            this.enterExpression.UseVisualStyleBackColor = true;
            this.enterExpression.Click += new System.EventHandler(this.enterExpression_Click);
            // 
            // Labels
            // 
            this.Labels.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(238)));
            this.Labels.Location = new System.Drawing.Point(24, 116);
            this.Labels.Name = "Labels";
            this.Labels.ReadOnly = true;
            this.Labels.Size = new System.Drawing.Size(317, 20);
            this.Labels.TabIndex = 14;
            // 
            // ExpGrpBox
            // 
            this.ExpGrpBox.Controls.Add(this.ExpressionBox);
            this.ExpGrpBox.Location = new System.Drawing.Point(24, 298);
            this.ExpGrpBox.Name = "ExpGrpBox";
            this.ExpGrpBox.Size = new System.Drawing.Size(317, 102);
            this.ExpGrpBox.TabIndex = 16;
            this.ExpGrpBox.TabStop = false;
            this.ExpGrpBox.Text = "Wyrażenia";
            // 
            // ExpressionBox
            // 
            this.ExpressionBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.ExpressionBox.Cursor = System.Windows.Forms.Cursors.Default;
            this.ExpressionBox.Location = new System.Drawing.Point(6, 19);
            this.ExpressionBox.Name = "ExpressionBox";
            this.ExpressionBox.ReadOnly = true;
            this.ExpressionBox.Size = new System.Drawing.Size(305, 74);
            this.ExpressionBox.TabIndex = 17;
            this.ExpressionBox.Text = "";
            // 
            // Sentences
            // 
            this.Sentences.Location = new System.Drawing.Point(24, 51);
            this.Sentences.Maximum = new decimal(new int[] {
            3,
            0,
            0,
            0});
            this.Sentences.Minimum = new decimal(new int[] {
            1,
            0,
            0,
            0});
            this.Sentences.Name = "Sentences";
            this.Sentences.Size = new System.Drawing.Size(55, 20);
            this.Sentences.TabIndex = 17;
            this.Sentences.Value = new decimal(new int[] {
            1,
            0,
            0,
            0});
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.Location = new System.Drawing.Point(21, 35);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(40, 13);
            this.label2.TabIndex = 18;
            this.label2.Text = "Zdania";
            // 
            // menuStrip1
            // 
            this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.programToolStripMenuItem});
            this.menuStrip1.Location = new System.Drawing.Point(0, 0);
            this.menuStrip1.Name = "menuStrip1";
            this.menuStrip1.Size = new System.Drawing.Size(365, 24);
            this.menuStrip1.TabIndex = 19;
            this.menuStrip1.Text = "menuStrip1";
            // 
            // programToolStripMenuItem
            // 
            this.programToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.AboutToolStripMenuItem,
            this.HelpToolStripMenuItem,
            this.ExitToolStripMenuItem});
            this.programToolStripMenuItem.Name = "programToolStripMenuItem";
            this.programToolStripMenuItem.Size = new System.Drawing.Size(65, 20);
            this.programToolStripMenuItem.Text = "Program";
            // 
            // AboutToolStripMenuItem
            // 
            this.AboutToolStripMenuItem.Name = "AboutToolStripMenuItem";
            this.AboutToolStripMenuItem.Size = new System.Drawing.Size(160, 22);
            this.AboutToolStripMenuItem.Text = "O programie";
            this.AboutToolStripMenuItem.Click += new System.EventHandler(this.AboutToolStripMenuItem_Click);
            // 
            // HelpToolStripMenuItem
            // 
            this.HelpToolStripMenuItem.Name = "HelpToolStripMenuItem";
            this.HelpToolStripMenuItem.ShortcutKeys = System.Windows.Forms.Keys.F12;
            this.HelpToolStripMenuItem.Size = new System.Drawing.Size(160, 22);
            this.HelpToolStripMenuItem.Text = "Pomoc";
            this.HelpToolStripMenuItem.Click += new System.EventHandler(this.HelpToolStripMenuItem_Click);
            // 
            // ExitToolStripMenuItem
            // 
            this.ExitToolStripMenuItem.Name = "ExitToolStripMenuItem";
            this.ExitToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Alt | System.Windows.Forms.Keys.F4)));
            this.ExitToolStripMenuItem.Size = new System.Drawing.Size(160, 22);
            this.ExitToolStripMenuItem.Text = "Zakończ";
            this.ExitToolStripMenuItem.Click += new System.EventHandler(this.ExitToolStripMenuItem_Click);
            // 
            // label4
            // 
            this.label4.AutoSize = true;
            this.label4.Font = new System.Drawing.Font("Microsoft Sans Serif", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(238)));
            this.label4.ForeColor = System.Drawing.Color.Green;
            this.label4.Location = new System.Drawing.Point(24, 267);
            this.label4.Name = "label4";
            this.label4.Size = new System.Drawing.Size(0, 15);
            this.label4.TabIndex = 20;
            // 
            // Form1
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.ClientSize = new System.Drawing.Size(365, 428);
            this.Controls.Add(this.label4);
            this.Controls.Add(this.label2);
            this.Controls.Add(this.Sentences);
            this.Controls.Add(this.ExpGrpBox);
            this.Controls.Add(this.Labels);
            this.Controls.Add(this.enterExpression);
            this.Controls.Add(this.label3);
            this.Controls.Add(this.Input);
            this.Controls.Add(this.label1);
            this.Controls.Add(this.TruthTable);
            this.Controls.Add(this.menuStrip1);
            this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.MaximizeBox = false;
            this.MinimizeBox = false;
            this.Name = "Form1";
            this.StartPosition = System.Windows.Forms.FormStartPosition.CenterScreen;
            this.Text = "Tautologia";
            this.ExpGrpBox.ResumeLayout(false);
            ((System.ComponentModel.ISupportInitialize)(this.Sentences)).EndInit();
            this.menuStrip1.ResumeLayout(false);
            this.menuStrip1.PerformLayout();
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion
        private System.Windows.Forms.TextBox TruthTable;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.TextBox Input;
        private System.Windows.Forms.Label label3;
        private System.Windows.Forms.Button enterExpression;
        private System.Windows.Forms.TextBox Labels;
        private System.Windows.Forms.GroupBox ExpGrpBox;
        private System.Windows.Forms.RichTextBox ExpressionBox;
        private System.Windows.Forms.NumericUpDown Sentences;
        private System.Windows.Forms.Label label2;
        private System.Windows.Forms.MenuStrip menuStrip1;
        private System.Windows.Forms.ToolStripMenuItem programToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem HelpToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem ExitToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem AboutToolStripMenuItem;
        private System.Windows.Forms.Label label4;
    }
}

